First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
521	Syntax, Semantics, and Pragmatics of Contexts Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2010-05-15 12:06:34 Predicate logic Philosophical logic Quantification Existential graph Conceptual graph First-order logic Charles Sanders Peirce bibliography Universal quantification Well-formed formula Logic Science Mathematical logic
522	Mona: decidable arithmetic in practice Morten Biehl1 , Nils Klarlund2, and Theis Rauhe3 BRICS, University of Aarhus ([removed]) AT&T Research ([removed]) 3 BRICS, University of Aarhus (theis@brics.d Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:49:23 Metalogic Model theory Combinatorics on words Automata theory Models of computation Second-order logic Interpretation First-order logic Finite-state machine Formal languages Logic Mathematics
523	The Acquisition of Universal Quantifiers in Russian Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:50:59 Linguistics Predicate logic Model theory Semantics First-order logic Uniqueness quantification Singular they Interpretation Universal quantification Quantification Logic Mathematical logic
524	Conceptual Graphs For Representing Conceptual Structures John F. Sowa VivoMind Intelligence Abstract. A conceptual graph (CG) is a graph representation for logic based on the semantic networks of artificial intelligence Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2009-09-22 13:18:55 Philosophical logic Mathematical logic Predicate logic Knowledge representation Conceptual graph Existential graph Quantification Charles Sanders Peirce bibliography First-order logic Logic Science Mathematics
525	International Journal of Foundations of Computer Science c World Scientific Publishing Company MONA Implementation Secrets Anders Møller & Michael I. Schwartzbach Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-06-14 03:07:43 Model theory Automata theory Model checking Models of computation Binary decision diagram Boolean algebra First-order logic Finite-state machine CPU cache Mathematical logic Logic Mathematics
526	Artificial Intelligence Tutorial 3 - Answers 1a) Translate the following sentences into first order logic. (i) All dogs are mammals (ii) Fido is a dog (iii) Fido is a mammal (iv) All mammals produce milk Add to Reading List Source URL: ccg.doc.gold.ac.uk Language: English - Date: 2013-09-18 10:16:32 Rules of inference Automated theorem proving Predicate logic Conjunctive normal form Unification Modus ponens First-order logic Function Universal quantification Logic Mathematical logic Mathematics
527	Finite Differencing of Logical Formulas for Static Analysis Add to Reading List Source URL: www.aladdin.cs.cmu.edu Language: English - Date: 2005-07-03 22:51:50 Mathematics First-order logic Predicate Interpretation Atomic formula Function Logical connective Mereology Predicate transformer semantics Logic Mathematical logic Predicate logic
528	A Program Logic for Verifying Secure Routing Protocols (Technical Report) Chen Chen1 , Limin Jia2 , Hao Xu1 , Cheng Luo1 , Wenchao Zhou3 , and Boon Thau Loo1 1 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Propositional calculus Symbol Substitution Function Tuple First-order logic TQ Mathematics Mathematical logic Logic
529	A Grammar for Hierarchical Object Descriptions in Logic Programs Toufiq Parag∗ Janelia Farm Research Campus-HHMI Ashburn, VA[removed]Claus Bahlmann, Vinay Shet, Maneesh Singh Add to Reading List Source URL: lmb.informatik.uni-freiburg.de Language: English - Date: 2012-06-18 23:42:01 Formal languages Linguistics Grammar Philosophy of language Semiotics Syntax Symbol Object First-order logic Object-oriented programming Software engineering Logic
530	Content ➜ Intro & motivation, getting started COMP 4161 NICTA Advanced Course Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Computability theory Lambda calculus Theoretical computer science Universal quantification First-order logic Hoare logic Mathematical logic Logic Mathematics

UPDATE